English translation for "formal proof"

形式证法
形式证明

Related Translations:

formal:  adj.1.正式的。2.礼节上的，仪式上的；郑重其事的。3.形态的，外形的；形式上的；拘泥形式的，刻板的。4.布置整齐的，有条理的。5.正规的，合乎规格的。6.【语言】规范化的，书面语的，正规的〔非俗语、俚语的〕。短语和例子a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal l

formal attribute:  形式属性

formal interview:  正式面谈

formal syntax:  形式语法

formal isomer:  形状同质异能素

formal diagnosis:  正规诊断

formal dress:  礼服

formal justic:  形式上的公正, 形式上的正义形式上的正义

formal pragmatics:  形式语用学

formal source:  正式渊源

Example Sentences:

	1.	For a formal proof of the algorithm 有关这种算法的形式证明请参阅
	2.	However , to our knowledge , a formal proof of how many independent kruppa constraints exist out of these n ones is unavailable in the literature 那么，这些kruppa方程中，有多少是独立的呢？或者说，由这些方程最多可以标定多少个摄像机的内参数呢？

Similar Words：

"formal process" English translation, "formal product" English translation, "formal production" English translation, "formal program parameter" English translation, "formal program testing" English translation, "formal public identifier" English translation, "formal public identifier error" English translation, "formal push-down automation" English translation, "formal pushdown automaton" English translation